right congruence relations

右同余关系